Towards a Notion of Basis for Knowledge-Based Systems—Applications

In the paradigm of Knowledge-Based Systems (KBS), design methods to simplify reasoning leads more efficient processes. A point view that provides valuable insights is algebraic one. this work, a notion basis (and dimension) for Knowledge Bases in Propositional Logic associated with knowledge forgetting introduced. It based on ideas come from translation such logic (Computer) Algebra, particularly interpretation variable forgetting. paper, concept weak base defined as set variables sufficient decide consistency using Several applications bases are presented order show their usefulness KBS and justify study use solving problems within topic.